more from this thinker     |     more from this text

---

Single Idea 13714

[filed under theme 4. Formal Logic / D. Modal Logic ML / 6. Temporal Logic ]

Full Idea

We can think of the worlds of modal logic as being times, rather than 'possible' worlds.

Gist of Idea

We can treat modal worlds as different times

Source

Theodore Sider (Logic for Philosophy [2010], 7.3.3)

Book Ref

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.189

---

The 4 ideas with the same theme [Inferences across past, present and future]:

22433

It is important that the quantification over temporal entities is timeless [Quine]

15413

With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess]

13113

F: will sometime, P: was sometime, G: will always, H: was always [Fitting/Mendelsohn]

13714

We can treat modal worlds as different times [Sider]